قضیّه ی مقدار میانی در آنالیز ساختی

پایان نامه
چکیده

قضیّهی مقدار میانی در آنالیز ساختی در این پایان نامه به بررسی برخی از گزاره های معتبر کلاسیک و به طور خاص قضیّهی مقدار میانی در دنیای ساختی می پردازیم. در این راستا به اجمال گونه های مختلف ریاضیات ساختی معرفی و رابطهی بین آن ها بیان می گردد. سپس به بحث پیرامون اصول غیرکلاسیکی خواهیم پرداخت که نقش مهمّی در ریاضیات ساختی بر عهده دارند. علاوه براین، اصولی که از دیدگاه کلاسیک معتبر امّا در نوع ساختی نیازمند توجیهات مختلف هستند نیز مطرح و نتایج جالب حاصل از حضور این دو نوع اصل در کنار یکدیگر بیان می گردد. در ادامه به بررسی رابطهی بین این اصول و قضیّهی مقدار میانی خواهیم پرداخت و با معرّفی مفهوم شاید، صورت شایدی این قضیه و مباحث جالبی پیرامون آن مطرح می گردد. در پایان نقیض دوگانهی قضیهی مقدار میانی بیان و ارتباط آن با شمای ed و دنباله های یکنوای بدون حد بررسی می شود. رده بندی موضوعی: 03f55, 03f60 کلمات کلیدی: ریاضیّات ساختی، ریاضیّات شهودگرایانه، قضیّهی مقدار میانی، شاید، تصمیم پذیری

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

قضیه ی ذهنیه

«قضیه‌ی ذهنیه» یکی از اصطلاحاتی است که در منطق اسلامی معرفی شده و در فلسفه‌ی اسلامی به کار رفته است. در این مقاله، با پی‌گیری تحولات تاریخی این اصطلاح، نشان داده‌ایم که قضیه‌ی ذهنیه معانی بسیاری را در دوران‌های مختلف به خود گرفته و با قضیه‌های گوناگونی در منطق و فلسفه گره خورده است. این تنوع و دگرگونی در معانی سبب شده است که قضیه‌ی ذهنیه با ابهامات بسیاری چه در منطق قدیم و چه در فلسفه‌ی اسلامی ...

متن کامل

قضیه ی کندورسه و دموکراسی معرفتی: یک ارزیابی روش شناختی

  یکی از مسائلی که همواره اندیشمندان مختلف درگیر آن بوده ­اند، تلاش برای اثبات روش درست دستیابی به تصمیم صحیح و به واسطه ­ی آن نظام سیاسی ایده<span style="font-size: 14.0pt; line-height: 107%; font-family: &quot;Cambria&quot;,&quot;serif&quot;; mso-bidi-font-family: Cambria;" lang="AR...

متن کامل

برهانهایی ساده برای قضیه اساسی جبر به کمک آنالیز مختلط و حسابان پیشرفته

در این نوشته دو برهان برای قضیه اساسی جبر آورده ایم که به نظر نمی رسد قبلا دیده شده باشند. در اولین برهان از قضیه انتگرال کشی استفاده می شود. دومین برهان تنها از انتگرال حاصل از پارامتری سازی انتگرال مسیری برهان اول و نتایجی از حسابان پیشرفته استفاده می کند.

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023